bitkeeper revision 1.1159.59.1 (412f52e5pzGsSRKxWkXlLmoWzjYc7g)
authorkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>
Fri, 27 Aug 2004 15:27:33 +0000 (15:27 +0000)
committerkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>
Fri, 27 Aug 2004 15:27:33 +0000 (15:27 +0000)
commit07a4c4d3f5f0db6ab64d354763f29557f44cf376
tree758fca327ffe5be1432965ced8d5187ec8ad130b
parent0bd542b54d619a52d49a5ffb2426104a2fa42392
bitkeeper revision 1.1159.59.1 (412f52e5pzGsSRKxWkXlLmoWzjYc7g)

Add debugging for locked critical regions. Allows us to assert that
certain things don't happen while in a c.r.: currently these include
taking page faults and GPFs, and also we disallow use of the
user-space access macros (uaccess.h).
xen/arch/x86/nmi.c
xen/arch/x86/traps.c
xen/common/kernel.c
xen/include/asm-x86/spinlock.h
xen/include/asm-x86/x86_32/uaccess.h
xen/include/xen/spinlock.h